@echo off
set TXLBIN=..\..\bin
set TXLLIB=..\..\lib
%TXLBIN%\txl2c.bat %1 %2 %3 %4
